241. Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings
پدیدآورنده : Chitta Baral... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
3662
242. Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
پدیدآورنده : Michael Gelfond, Nicola Leone, Gerald Pfeifer )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1730
243. Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
پدیدآورنده : Vladimir Lifschitz, Ilkka Niemela )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2923
244. Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings
پدیدآورنده : Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2173
245. Logic programming and soft computing
پدیدآورنده : / edited by T.P. Martin and F. Arcelli Fontana
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic programming,Soft computing
رده :
QA76
.
63
.
L63234
1998
246. Logic programming and soft computing
پدیدآورنده : edited by T.P. Martin, F. Arcelli Fontana
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Logic programming,، Soft computing
رده :
QA
76
.
63
.
L63
247. Logic programming : formal methods and practical applications
پدیدآورنده : edited by Christoph Beierle, Lutz Plumer
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Logic programming
رده :
QA
76
.
63
.
L63294
1995
248. Logic programming, functions, relations, and equations
پدیدآورنده : (edited by) Doug DeGroot, Gary Lindstrom
موضوع : Logic programming,Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
249. Logic programming in action: Second international Logic programming summer school, LPSS'92: proceedings
پدیدآورنده : G. Comyn, N.E. Fuchs, M. Ratcliffe )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
636
250. Logic programming in action; Second international logic programming Summer School, LPSS'92, Zurich, Switzerland, September 7-11, 1992: Proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
63
.
L66
1992
251. Logic programming & knowledge engineering
پدیدآورنده : AMBLE,TORE
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : LOGIC PROGRAMMING , EXPERT SYSTEMS )COMPUTER SCIENCE(
رده :
QA
76
.
6
.
A464
252. Logic programming, knowledge representation, and nonmonotonic reasoning
پدیدآورنده : [edited by]& Marcello Balduccini, Tran Cao Son
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع :
253. Logic programming, knowledge representation, and nonmonotonic reasoning :
پدیدآورنده : Marcello Balduccini, Tran Cao Son (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Gelfond, Michael,Logic programming,Nonmonotonic reasoning
254. Logic programming languages :
پدیدآورنده : edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic programming languages.
رده :
QA76
.
63
E358
1993
255. Logic programming '88: proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
63
.
L63
1989
256. Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985
پدیدآورنده : edited by Eiiti Wada
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L4
v
.
221
257. Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
6
.
L58762
1988
258. Logic programming: prolog and stream parallel languages
پدیدآورنده : Newmarch, Jan Dennis
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
رده :
QA
76
.
63
.
N48
259. Logic programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
پدیدآورنده : Maurizio Gabbrielli, Gopal Gupta )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3668
260. Logic programming: 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005: proceedings
پدیدآورنده : Maurizio Gabbrielli, Gopal Gupta )eds.(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Congresses ، Logic programming,Congrغs ، Programmation logique,، Logisch programmeren,، Programmation logique
رده :
QA
76
.
63
.
I563
2005
